## Primitive elements of a finite field

from PyM import *


K = Zn(7)

# The polynomial t**7 - t +1 ~ [1,0,0,0,0,0,-1,1] 
# is irreducible over K
[F,x] = extension(K,[1,0,0,0,0,0,-1,1])

q = cardinal(F)

show(q-1)

show(order(x))

a = primitive_root(F)

show(a)

show(order(a))